Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
Impossible pair constrained test path generation in a programSrimani, Pradip K. ; Sinha, Bhabani P.Information sciences, 1982-01, Vol.28 (2), p.87-103 [Peer Reviewed Journal]New York, NY: Elsevier IncFull text available |
2 |
Material Type: Article
|
![]() |
An addressable machine as the interpretation of a free groupLauria, Francesco E.Information sciences, 1982-01, Vol.28 (2), p.131-160 [Peer Reviewed Journal]New York, NY: Elsevier IncFull text available |
3 |
Material Type: Article
|
![]() |
Tentative steps towards a development method for interfering programsJONES, C. BACM transactions on programming languages and systems, 1983, Vol.5 (4), p.596-619 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
4 |
Material Type: Article
|
![]() |
Recursion and iteration in continuous theores: the M-constructionBLOOM, S. L ; THATCHER, J. W ; WAGNER, E. G ; WRIGHT, J. BJournal of computer and system sciences, 1983, Vol.27 (2), p.148-164 [Peer Reviewed Journal]Brugge: Academic PressFull text available |
5 |
Material Type: Article
|
![]() |
On infinite computations in denotational semanticsDE BAKKER, J. W ; MEYER, J. J. C ; ZUCKER, J. ITheoretical computer science, 1983, Vol.29 (1-2), p.229-230 [Peer Reviewed Journal]Amsterdam: ElsevierFull text available |
6 |
Material Type: Article
|
![]() |
The blit debuggerCARGILL, T. AThe Journal of systems and software, 1983, Vol.3 (4), p.227-284 [Peer Reviewed Journal]New York, NY: Elsevier ScienceFull text available |
7 |
Material Type: Article
|
![]() |
Algebraic semantics of recursive flowchart schemesSchmeck, HartmutInformation and control, 1983, Vol.59 (1), p.108-126New York, NY: Elsevier B.VFull text available |
8 |
Material Type: Article
|
![]() |
Scanning on the fly: An approach to the user interfaceSeidel, Steven R.Computers and education, 1983, Vol.7 (3), p.153-165 [Peer Reviewed Journal]New York, NY: Elsevier LtdFull text available |
9 |
Material Type: Article
|
![]() |
Implementing SNOBOL4 pattern matching in IconGriswold, Ralph E.Computer languages, 1983, Vol.8 (2), p.77-92Oxford: Elsevier LtdFull text available |
10 |
Material Type: Article
|
![]() |
Data-editing BASIC programs for creating, modifying, and combining apple II disk filesWEST, R. FBehavior research methods and instrumentation, 1983, Vol.15 (3), p.387-388Austin, TX: Psychonomic JournalsFull text available |